Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
نویسندگان
چکیده
منابع مشابه
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملPropositional mixed logic: its syntax and semantics
In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
Constructions of Models in Fuzzy Logic with Evaluated Syntax
This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. It is known that there are many formal systems of fuzzy logic, most of them having traditional syntax and many-valued semantics. Our logic is further generalization, where also syntax is evaluated, i.e. we may consider fuzzy sets of axioms. In the paper we show the possibilities how to construct the ...
متن کاملModel-Theoretic Constructions in Fuzzy Logic with Evaluated Syntax
This paper studies the model theory as generalization of classical model theory in predicate fuzzy logic with evaluated syntax (Ev L ). There exist a lot of possibilities how to find the models of fuzzy theories. In this paper we will describe the theoretic constructions of the models in Ev L where these models are built by using elementary extensions and downward Löwenheim-Skolem-Tarski theore...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computational Intelligence Systems
سال: 2015
ISSN: 1875-6891,1875-6883
DOI: 10.1080/18756891.2015.1129581